【说明】
以下流程图用于检查数组A[1:n]中的@素是否为自然数1〜n的一个排列(含有1〜n各数)。若是，则输出OK，否则输出所缺的自然数及其个数m。

为检查A[1:n]中是否含有k，只要判断P(k)=(A(l)-k)*(A(2) -k)*...*(A(n)-k)是否等于0即可。

【流程图】